翻訳と辞書 Words near each other ・ Klein Vrystaat ・ Klein Wanzleben ・ Klein Warnow station ・ Klein Wellhorn ・ Klein Wesenberg ・ Klein Windhoek ・ Klein Wittensee ・ Klein Zecher ・ Kleeer ・ Kleefeld, Manitoba ・ Kleemann ・ Kleemenko cycle ・ Kleemu ・ Kleena Kleene ・ Kleene algebra ・ Kleene award ・ Kleene fixed-point theorem ・ Kleene star ・ Kleene's algorithm ・ Kleene's O ・ Kleene's recursion theorem ・ Kleene's T predicate ・ Kleenex ・ Kleenex Girl Wonder ・ Kleenex/LiLiPUT ・ Kleeneze ・ Kleene–Brouwer order ・ Kleene–Rosser paradox ・ Kleenheat Gas ・ Kleenmaid Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Kleene award ： ウィキペディア英語版 Kleene award The Kleene Award 〔http://www2.informatik.hu-berlin.de/lics/awards.html〕 is awarded at the annual IEEE Symposium on Logic in Computer Science (LICS) to that author(s) of the best student paper(s). A paper qualifies as a student paper if each author is a student at the date of the submission. Also eligible are authors who have graduated only recently, provided the submitted paper is based on work carried out when he or she still was a student. The award decision is made by the Program Committee. The award is named after Stephen Cole Kleene, who did pioneering work in the field of logic as related to computer science. ==See also== * Machtey Award 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Kleene award」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.